#include <stdio.h>

//int main()
//{
//    printf("%#o %#X\n", 1234, 1234);
//    printf("%o %X\n", 1234, 1234);
//    printf("%#o %#x\n", 1234, 1234);
//    return 0;
//}


int main()
{
	int a = 0xABCDEF;
	printf("%15d\n",a);
	printf("%#15X\n", 11259375);
	return 0;
}